%%
%% This is file `backnaur.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% backnaur.dtx  (with options: `package')
%% 
%% Copyright (C) 2012 by Adrian P Robson
%%    adrian.robson@nepsweb.co.uk
%% 
%% This work may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either
%% version 1.3c of this license or (at your option) any later
%% version. The latest version of this license is in
%%    http://www.latex-project.org/lppl.txt
%% 
%% This work has the LPPL maintenance status `maintained'.
%% The Current Maintainer of this work is Adrian Robson.
%% 
%% This work consists of the files backnaur.dtx and
%%                                 backnaur.ins
%% and the derived files           backnaur.sty and
%%                                 backnaur.pdf
%% 
\NeedsTeXFormat{LaTeX2e}[2011/06/27]
\ProvidesPackage{backnaur}
[2012/12/12 1.1 Typesetting for Backus-Naur Form (BNF) definitions]
\newenvironment{bnf}%
{\begin{eqnarray}}%
{\end{eqnarray}\ignorespacesafterend}
\newenvironment{bnf*}%
{\begin{eqnarray*}}%
{\end{eqnarray*}\ignorespacesafterend}
\newcommand{\bnfpn}[1]{\langle \textnormal{#1} \rangle}
\newcommand{\bnfor}{\; \mid \;}
\newcommand{\bnfsp}{\;}
\newcommand{\bnfes}{\lambda}
\newcommand\bnf@tsfont[1]{\textrm{#1}}
\newcommand{\bnfts}[1]{\textnormal{\bnf@tsfont{#1}}}
\newcommand{\bnftd}[1]{\textnormal{\it #1}}
\newcommand{\bnfsk}{\dots}
\newcommand{\bnfpo}{\models}
\newcommand{\bnfprod}[2]{\bnfpn{#1} & \bnfpo & #2}
\DeclareOption{tstt}{\renewcommand\bnf@tsfont[1]{\texttt{#1}}}
\DeclareOption{perp}{\renewcommand{\bnfes}{\perp}}
\DeclareOption{epsilon}{\renewcommand{\bnfes}{\epsilon}}
\ProcessOptions\relax
\endinput
%%
%% End of file `backnaur.sty'.